(read_bytecode_char): Declare arg.

diff --git a/src/doc.c b/src/doc.c
index 78b005b852b2cff79ec521c05f06c57536d8d79e..dc52e713da4619ac6b036546d7087e10bbeafb44 100644 (file)
--- a/src/doc.c
+++ b/src/doc.c
@@ -82,6 +82,7 @@ static unsigned char *read_bytecode_pointer;
 
 int
 read_bytecode_char (unreadflag)
+     int unreadflag;
 {
   if (unreadflag)
     {